loop-invariant computation - Deutsch Englisch Wörterbuch